PRISMA: A Mobile Calculus with Parametric Synchronization
نویسندگان
چکیده
We present PRISMA, a parametric calculus that can be instantiated with different interaction policies, defined as synchronization algebras with mobility of names (SAMs). We define both operational semantics and observational semantics of PRISMA, showing that the second one is compositional for any SAM. We give examples based on heterogeneous SAMs, a case study on Fusion Calculus and some simple applications. Finally, we show that basic categorical tools can help to relate and to compose SAMs and PRISMA processes in an elegant way.
منابع مشابه
PRISMA: A parametric calculus based on synchronization algebras with mobility
We present PRISMA, a parametric framework for modeling distributed and mobile systems with different communication policies, defined as synchronization algebras with mobility (SAMs). This allows to choose each time the SAM that corresponds to the real synchronization used, and also to prove properties for different synchronization models at once. The paradigm we propose is based on process calc...
متن کاملSynchronization Algebras with Mobility for Graph Transformations
We propose a generalization of synchronization algebras that allows to deal with mobility and local resource handling. We show how it can be used to model communication primitives for distributed and mobile computations, such as the ones used in the global computing area. We propose a graph transformation formalism in the Synchronized Hyperedge Replacement approach which is parametric w.r.t. th...
متن کاملDesigning Mobile Aspect- Oriented Software Architectures with Ambients
This chapter focuses on designing software architectures of mobile applications using an Aspect-Oriented Architecture Description Language (AOADL). The AOADL follows an approach called Ambient-PRISMA which enables designers to address, in an explicit and abstract way, the notion of location and mobility. Concretely, the AOADL extends the PRISMA AOADL by introducing a primitive called an ambient...
متن کاملSynchronization of Chaotic Fractional-Order Lu-Lu Systems with Active Sliding Mode Control
Synchronization of chaotic and Lu system has been done using the active sliding mode control strategy. Regarding the synchronization task as a control problem, fractional order mathematics is used to express the system and active sliding mode for synchronization. It has been shown that, not only the performance of the proposed method is satisfying with an acceptable level of control signal, but...
متن کاملSynchronization of Microgrid Considering the Dynamics of V2Gs Using an Optimized Fractional Order Controller based Scheme
In this work, a new control scheme for synchronization of AC microgrids with upstream power grid is presented. The effects of V2Gs (vehicle to grid) dynamics on synchronization process is studied. This new control approach is based on the optimal fractional calculus and has been developed for synchronization of the microgrid. The V2Gs effect on the dynamics of the microgrid is analyzed through ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2006